Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

I argue that Hubert Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background as well as his anti-representationalism rest on introspection. I denote with ‘introspection’ the methodological malpractice of formulating ontological statements about the conditions of possibility of phenomena merely based on descriptions. In order to illustrate the insufficiencies of Dreyfus’ methodological strategy in particular and introspection in general, I show that Heidegger, to whom Dreyfus constantly refers as the foundation of his own work, derives ontological statements (...) about the conditions of possibility of phenomena not merely from descriptions, but also from analyses. I further show that deriving ontological statements directly from descriptions entails implausible results. I do so by discussing representative cases. Based on these general methodological considerations, I show that Dreyfus’ work on action, skill and understanding is introspective. First, I demonstrate that Dreyfus’ influential claim that rules and representations do not govern skillful actions is the result of introspection, because it is merely founded on the absence of rules and representations in representative descriptions of skillful actions. Second, I show that Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background is also based on introspection. These ontological structures are merely reifications of descriptions and are not further substantiated by analyses. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Despite the frequency of stillbirths, the subsequent implications are overlooked and underappreciated. We present findings from comprehensive, systematic literature reviews, and new analyses of published and unpublished data, to establish the effect of stillbirth on parents, families, health-care providers, and societies worldwide. Data for direct costs of this event are sparse but suggest that a stillbirth needs more resources than a livebirth, both in the perinatal period and in additional surveillance during subsequent pregnancies. Indirect and intangible costs of stillbirth are (...) extensive and are usually met by families alone. This issue is particularly onerous for those with few resources. Negative effects, particularly on parental mental health, might be moderated by empathic attitudes of care providers and tailored interventions. The value of the baby, as well as the associated costs for parents, families, care providers, communities, and society, should be considered to prevent stillbirths and reduce associated morbidity. (shrink)

Joint attention is a social-cognitive phenomenon in which two or more agents direct their attention together towards the same object. Definitions range from this rather broad conception to more specific definitions which require that, in addition, attention be directed to the same aspect of that object and that agents need to be mutually aware of their jointly attending. Joint attention is an important coordination mechanism in joint action. The capacity for engaging in joint attention, in particular in the sense of (...) this narrower definition, is frequently taken to indicate the presence of theory of mind in the participating agents, and is also implicated in the development of theory of mind. However, the prominence of sensorimotor components in establishing and sustaining episodes of joint attention — e.g., eye and head movements, pointing and vocalizations — suggests that sensorimotor approaches to social interaction may be well-placed to account for important parts of joint attention without invoking theory-of-mind abilities, and may therefore provide a valuable alternative to approaches emphasizing theory of mind. In particular, sensorimotor accounts may explain aspects of joint attention through the dynamics and regularities in the sensorimotor processes that coordinate the activities of the agents. (shrink)

In ‘Excusing Mistakes of Law’, Gideon Yaffe sets out to ‘vindicate’ the claim ‘that mistakes of law never excuse’ by ‘identifying the truth that is groped for but not grasped by those who assert that ignorance of law is no excuse’. Yaffe does not offer a defence of the claim that mistakes of law never excuse. That claim, Yaffe argues, is false. Yaffe’s article is, rather, an effort to assess what plausible thought might be behind the idea that mistakes of (...) law often should not excuse. (Yaffe is interested in more than just the descriptive claim that in Anglo-American legal jurisdictions mistakes of law routinely do not, in fact, excuse.) More particularly, Yaffe is interested in what plausible normative justification there might be for this asymmetric pattern: -/- Asymmetry: False beliefs about non-legal facts often excuse, but false beliefs about the law rarely excuse. -/- Yaffe offers a complex argument in support of Asymmetry. This paper is organised around my reconstruction of Yaffe’s argument. I argue that Yaffe’s argument does not succeed, but that his argument provides a template for an argument that could succeed. (shrink)

In 1937 Joan Robinson proposed that “when capitalism is rightly understood, the rate of interest will be set at zero and the major evils of capitalism will disappear”. A permanent zero rate would abolish capitalist profit except in limited cases, leaving nearly all output to be claimed by labour as wages. It would allow capital to be allocated on the basis of prospective social benefit rather than short-term profitability and a collateral basis that favours the wealthy. It would remove some (...) of the economic pressure to use resources unsustainably. So why not do this? I argue that the few available philosophical arguments for positive interest rates are unsatisfactory. Those who want a just and sustainable form of capitalism should target net zero for the interest rate. (shrink)

Multiple states are at risk of becoming uninhabitable due to climate change, forcing their populations to flee. While the 1951 Refugee Convention provides the gold standard of international protection, it is only applied to a limited subset of people fleeing their countries, those who suffer persecution, which most people fleeing climate change cannot establish. While many journalists and non-lawyers freely use the term “climate refugees,” governments, and courts, as well as UNHCR and many refugee experts, have excluded most climate refugees (...) from the Convention as a matter of legal interpretation. In our 2015 paper, “Unable to Return in the 1951 Refugee Convention: Stateless Refugees and Climate Change”, we sought to reopen the debate on “climate refugees” by arguing that some climate refugees qualify under the 1951 Convention as it is currently written (even if they are not persecuted): those who are stateless and are unable to return to their country of origin because climate change has rendered it uninhabitable. Our interpretation, however, has been rejected by Goodwin-Gill and McAdam (2021) and by Foster and Lambert (2019), which explicitly responds to our paper. Here, we address and respond to their arguments, and develop a new supplementary one, drawing on the principle of systemic integration, as enshrined in Article 31(3)(c) of the Vienna Convention on the Law of Treaties. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought to (...) be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

According to a widely held view of the matter, whenever we assess beliefs as ‘rational’ or ‘justified’, we are making normative judgements about those beliefs. In this discussion, I shall simply assume, for the sake of argument, that this view is correct. My goal here is to explore a particular approach to understanding the basic principles that explain which of these normative judgements are true. Specifically, this approach is based on the assumption that all such normative principles are grounded in (...) facts about values, and the normative principles that apply to beliefs in particular are grounded in facts about alethic value––a kind of value that is exemplified by believing what is true and not believing what is false. In this chapter, I shall explain what I regard as the best way of interpreting this approach. In doing so, I shall also show how this interpretation can solve some problems that have recently been raised for approaches of this kind by Selim Berker, Jennifer Carr, Michael Caie, and Hilary Greaves. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Our approach to emotion emphasized three key ingredients. We do not yet have a mature science of emotion, or even a consensus view—in this respect we are more hesitant than Sander, Grandjean, and Scherer or Luiz Pessoa. Relatedly, a science of emotion needs to be highly interdisciplinary, including ecology, psychology, neuroscience, and philosophy. We recommend a functionalist view that brackets conscious experiences and that essentially treats emotions as latent variables inferred from a number of measures. But our version of functionalism (...) is not definitional or ontological. It is resolutely methodological, in good part because it is too early to attempt definitions. (shrink)

Often, when one faces a choice between alternative actions, there are reasons both for and against each alternative. On one way of understanding these words, what one “ought to do all things considered (ATC)” is determined by the totality of these reasons. So, these reasons can somehow be “combined” or “aggregated” to yield an ATC verdict on these alternatives. First, various assumptions about this sort of aggregation of reasons are articulated. Then it is shown that these assumptions allow for the (...) proof of a “Reasons Aggregation Theorem” – parallel to John Harsanyi’s 1955 “Social Aggregation Theorem”. All reasons for action are grounded in reason-providing values; and, for every such reason-providing value, there is in principle a way of measuring how strongly this value counts against each alternative. The theorem tells us that the appropriate measure of how much reason ATC there is against each alternative is simply a weighted sum of the strengths with which these values count against that alternative; the agent ought not ATC to perform an action iff there is ATC more reason against it than against some available alternative. (shrink)

We defend a functionalist approach to emotion that begins by focusing on emotions as central states with causal connections to behavior and to other cognitive states. The approach brackets the conscious experience of emotion, lists plausible features that emotions exhibit, and argues that alternative schemes are unpromising candidates. We conclude with the benefits of our approach: one can study emotions in animals; one can look in the brain for the implementation of specific features; and one ends up with an architecture (...) of the mind in which emotions are fully accommodated through their relations to the rest of cognition. Our article focuses on arguing for this general approach; as such, it is an essay in the philosophy of emotion rather than in the psychology or neuroscience of emotion. (shrink)

Here is a definition of knowledge: for you to know a proposition p is for you to have an outright belief in p that is correct precisely because it manifests the virtue of rationality. This definition resembles Ernest Sosa’s “virtue theory”, except that on this definition, the only virtue that must be manifested in all instances of knowledge is rationality, and no reductive account of rationality is attempted—rationality is assumed to be an irreducibly normative notion. This definition is compatible with (...) “internalism” about rationality, and with a form of “pragmatic encroachment” on the conditions of rational outright belief. An interpretation is given of this definition, and especially of the sense of ’because’ that it involves. On this interpretation, this definition entails that both safety and adherence are necessary conditions on knowledge; it supports a kind of contextualism about terms like ‘knowledge’; and it provides resources to defend safety, adherence, and contextualism, against some recent objections. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...) light of the taste standard governing the context of use. We show in a range of experiments that neither prediction is correct. People have no clear preferences either way and which taste standard they choose in evaluating a previous taste claim crucially depends on whether they start out with a favorable attitude towards the object in question and then come to have an unfavorable attitude or vice versa. We suggest an account of the data in terms of what we call hybrid relativism. (shrink)

Sumantra Ghoshal’s condemnation of “bad management theories” that were “destroying good management practices” has not lost any of its salience, after a decade. Management theories anchored in agency theory (and neo-classical economics generally) continue to abet the financialization of society and undermine the functioning of business. An alternative approach (drawn from a more classic institutional, new ecological, and refocused ethical approaches) is reviewed.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

An account of Plato’s theory of knowledge is offered. Plato is in a sense a contextualist: at least, he recognizes that his own use of the word for “knowledge” varies – in some contexts, it stands for the fullest possible level of understanding of a truth, while in other contexts, it is broader and includes less complete levels of understanding as well. But for Plato, all knowledge, properly speaking, is a priori knowledge of necessary truths – based on recollection of (...) aspects of the Forms – and so in contemporary terms, it meets the conditions of “safety” and “adherence” (or “indefeasibility”) to the highest degree. This account is defended on the basis of the text of Meno, Phaedo, and the Republic, against some objections – especially objections that are due to Gail Fine. (shrink)

This chapter is concerned with the distinction that most contemporary epistemologists express by distinguishing between “propositional” and “doxastic” justification. The goal is to develop an account of this distinction that applies, not just to full or outright beliefs, but also to partial credences—and indeed, in principle, to attitudes of all kinds. The standard way of explaining this distinction, in terms of the “basing relation”, is criticized, and an alternative account—the “virtue manifestation” account—is proposed in its place. This account has a (...) certain kinship with the epistemological approach that is known as “reliabilism”, but it also has certain key differences—above all, it is compatible with an internalist view of rationality. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

According to epistemological internalism, the rationality of a belief supervenes purely on "internal facts" about the thinker's mind. But what are "internal facts"? Why does the rationality of a belief supervene on them? The standard answers are unacceptable. This paper proposes new answers. "Internal facts" are facts about the thinker's nonfactive mental states. The rationality of a belief supervenes on such internal facts because we need rules of belief revision that we can follow directly, not by means of following any (...) other rules, and the proximate explanation of any belief revision always consists of such internal facts. (shrink)

What is the connection between justification and the kind of consequence relations that are studied by logic? In this essay, I shall try to provide an answer, by proposing a general conception of the kind of inference that counts as justified or rational.

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

Sometimes, we think of belief as a phenomenon that comes in degrees – that is, in the many different levels of confidence that a thinker might have in various different propositions. Sometimes, we think of belief as a simple two-place relation that holds between a thinker and a proposition – that is, as what I shall here call "outright belief".

Many philosophers working on the branches of philosophy that deal with the normative questions have adopted a " Reasons First" program. This paper criticizes the foundational assumptions of this program. In fact, there are many different concepts that can be expressed by the term 'reason' in English, none of which are any more fundamental than any others. Indeed, most of these concepts are not particularly fundamental in any interesting sense.

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

What reasons for action do we have? What explains why we have these reasons? This paper articulates some of the basic structural features of a theory that would provide answers to these questions. According to this theory, reasons for action are all grounded in intrinsic values, but in a way that makes room for a thoroughly non-consequentialist view of the way in which intrinsic values generate reasons for aaction.

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

The A-theory of time is plagued by certain standard armchair problems: the presentism–eternalism dilemma, the problem of truth-makers, the alleged impossibility of cross-temporal relations, and the problem of temporary intrinsics. These challenges supposedly force A-theories to make incredible claims. I argue that these challenges are not deep antinomies in common sense, but rest on avoidable mistakes. Then I present a new A-theory that shows what’s possible once we move past the old problems. On this proposal, time’s passing is a metaphysically (...) fundamental aspect of reality. I take this to mean that there are fundamental facts like: four hours passed from 8am today until noon. This A-theory also posits fundamental facts about the state of the universe at a time, and about cross-temporal relationships. The proposed metaphysical package attractively articulates our common sense, pre-relativistic conception of time. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

International regulation of autonomous weapon systems (AWS) is increasingly conceived as an exercise in risk management. This requires a shared approach for assessing the risks of AWS. This paper presents a structured approach to risk assessment and regulation for AWS, adapting a qualitative framework inspired by the Intergovernmental Panel on Climate Change (IPCC). It examines the interactions among key risk factors—determinants, drivers, and types—to evaluate the risk magnitude of AWS and establish risk tolerance thresholds through a risk matrix informed by (...) background knowledge of event likelihood and severity. Further, it proposes a methodology to assess community risk appetite, emphasizing that such assessments and resulting tolerance levels should be determined through deliberation in a multistakeholder forum. The paper highlights the complexities of applying risk-based regulations to AWS internationally, particularly the challenge of defining a global community for risk assessment and regulatory legitimization. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Miller has recently argued that the standard liberal and moderate positions on abortion are incapable of grounding the claim that ‘all non-disabled adult humans are equal’. The reason, he claims, is such accounts base the intrinsic moral worth of a human being on some property (or set of properties) which comes in degrees. In contrast, he argues that moral equality must reside in some binary property, such as the property of being human. In this paper, I offer three criticisms of (...) Miller’s position. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

Ecotage, or the destruction of property for the sake of promoting environmental ends, is beginning to (re)establish itself both as a topic of public discussion and as a radical activist tactic. In response to these developments, a small but growing academic literature questions whether, and if so under what conditions, ecotage can be morally justified. This paper contributes to the literature by arguing that instances of ecotage are pro tanto justified insofar as they are instances of effective and proportionate self- (...) and/or other-defense. Having elucidated and defended its central claim, this paper concludes by briefly considering some other morally relevant features of ecotage that might tell for or against its overall justification in particular cases. (shrink)

Suppose that it is rational to choose or intend a course of action if and only if the course of action maximizes some sort of expectation of some sort of value. What sort of value should this definition appeal to? According to an influential neo-Humean view, the answer is “Utility”, where utility is defined as a measure of subjective preference. According to a rival neo-Aristotelian view, the answer is “Choiceworthiness”, where choiceworthiness is an irreducibly normative notion of a course of (...) action that is good in a certain way. The neo-Humean view requires preferences to be measurable by means of a utility function. Various interpretations of what exactly a “preference” is are explored, to see if there is any interpretation that supports the claim that a rational agent’s “preferences” must satisfy the “axioms” that are necessary for them to be measurable in this way. It is argued that the only interpretation that supports the idea that the rational agent’s preferences must meet these axioms interprets “preferences” as a kind of value-judgment. But this turns out to be version of the neo-Aristotelian view, rather than the neo-Humean view. Rational intentions maximize expected choiceworthiness, not expected utility. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

According to John Broome, akrasia consists in a failure to intend to do something that one believes one ought to do, and such akrasia is necessarily irrational. In fact, however, failing to intend something that one believes one ought to do is only guaranteed to be irrational if one is certain of a maximally detailed proposition about what one ought to do; if one is uncertain about any part of the full story about what one ought to do, it could (...) be perfectly rational not to intend to do something that one believes one ought to do. This paper seeks to remedy this problem, by proposing an anti-akrasia principle that covers cases of uncertainty (as well as cases of such complete certainty). It is argued that this principle is in effect the fundamental principle of practical rationality. (shrink)